Real-Reward Testing for Probabilistic Processes (Extended Abstract)

We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testing framework, the may and must preorders turn out to be inverses. We show that for convergent processes with finitely many states and transitions, but not in the presence of divergence, the real-reward must-testing preorder coincides with the nonnegative-reward must-testing preorder. To prove this coincidence we characterise the usual resolution-based testing in terms of the weak transitions of processes, without having to involve policies, adversaries, schedulers, resolutions, or similar structures that are external to the process under investigation. This requires establishing the continuity of our function for calculating testing outcomes.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Characterising Probabilistic Processes Logically

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.Comment: 18 page

Molecular structures and vibrations of neutral and anionic CuOx (x = 1-3,6) clusters

We report equilibrium geometric structures of CuO2, CuO3, CuO6, and CuO clusters obtained by an all-electron linear combination of atomic orbitals scheme within the density-functional theory with generalized gradient approximation to describe the exchange-correlation effects. The vibrational stability of all clusters is examined on the basis of the vibrational frequencies. A structure with Cs symmetry is found to be the lowest-energy structure for CuO2, while a -shaped structure with C2v symmetry is the most stable structure for CuO3. For the larger CuO6 and CuO clusters, several competitive structures exist with structures containing ozonide units being higher in energy than those with O2 units. The infrared and Raman spectra are calculated for the stable optimal geometries. ~Comment: Uses Revtex4, (Better quality figures can be obtained from authors

Observation of Two New N* Peaks in J/psi -> ppi−nˉp pi^- \bar n and pˉπ+n\bar p\pi^+n Decays

The $\pi N$ system in decays of $J/\psi\to\bar NN\pi$ is limited to be isospin 1/2 by isospin conservation. This provides a big advantage in studying $N^*\to \pi N$ compared with $\pi N$ and $\gamma N$ experiments which mix isospin 1/2 and 3/2 for the $\pi N$ system. Using 58 million $J/\psi$ decays collected with the Beijing Electron Positron Collider, more than 100 thousand $J/\psi \to p \pi^- \bar n + c.c.$ events are obtained. Besides two well known $N^*$ peaks at 1500 MeV and 1670 MeV, there are two new, clear $N^*$ peaks in the $p\pi$ invariant mass spectrum around 1360 MeV and 2030 MeV. They are the first direct observation of the $N^*(1440)$ peak and a long-sought "missing" $N^*$ peak above 2 GeV in the $\pi N$ invariant mass spectrum. A simple Breit-Wigner fit gives the mass and width for the $N^*(1440)$ peak as $1358\pm 6 \pm 16$ MeV and $179\pm 26\pm 50$ MeV, and for the new $N^*$ peak above 2 GeV as $2068\pm 3^{+15}_{-40}$ MeV and $165\pm 14\pm 40$ MeV, respectively

Quantum algebra in the mixed light pseudoscalar meson states

In this paper, we investigate the entanglement degrees of pseudoscalar meson states via quantum algebra Y(su(3)). By making use of transition effect of generators J of Y(su(3)), we construct various transition operators in terms of J of Y(su(3)), and act them on eta-pion-eta mixing meson state. The entanglement degrees of both the initial state and final state are calculated with the help of entropy theory. The diagrams of entanglement degrees are presented. Our result shows that a state with desired entanglement degree can be achieved by acting proper chosen transition operator on an initial state. This sheds new light on the connect among quantum information, particle physics and Yangian algebra.Comment: 9 pages, 3 figure

Plastic Flow in Two-Dimensional Solids

A time-dependent Ginzburg-Landau model of plastic deformation in two-dimensional solids is presented. The fundamental dynamic variables are the displacement field \bi u and the lattice velocity {\bi v}=\p {\bi u}/\p t. Damping is assumed to arise from the shear viscosity in the momentum equation. The elastic energy density is a periodic function of the shear and tetragonal strains, which enables formation of slips at large strains. In this work we neglect defects such as vacancies, interstitials, or grain boundaries. The simplest slip consists of two edge dislocations with opposite Burgers vectors. The formation energy of a slip is minimized if its orientation is parallel or perpendicular to the flow in simple shear deformation and if it makes angles of $\pm \pi/4$ with respect to the stretched direction in uniaxial stretching. High-density dislocations produced in plastic flow do not disappear even if the flow is stopped. Thus large applied strains give rise to metastable, structurally disordered states. We divide the elastic energy into an elastic part due to affine deformation and a defect part. The latter represents degree of disorder and is nearly constant in plastic flow under cyclic straining.Comment: 16pages, Figures can be obtained at http://stat.scphys.kyoto-u.ac.jp/index-e.htm

Processing of ultrafine-size particulate metal matrix composites by advanced shear technology

Copyright @ 2009 ASM International. This paper was published in Metallurgical & Materials Transactions A 40A(3) and is made available as an electronic reprint with the permission of ASM International. One print or electronic copy may be made for personal use only. Systematic or multiple reproduction, distribution to multiple locations via electronic or other means, duplications of any material in this paper for a fee or for commercial purposes, or modification of the content of this paper are prohibited.Lack of efficient mixing technology to achieve a uniform distribution of fine-size reinforcement within the matrix and the high cost of producing components have hindered the widespread adaptation of particulate metal matrix composites (PMMCs) for engineering applications. A new rheo-processing method, the melt-conditioning high-pressure die-cast (MC-HPDC) process, has been developed for manufacturing near-net-shape components of high integrity. The MC-HPDC process adapts the well-established high shear dispersive mixing action of a twin-screw mechanism to the task of overcoming the cohesive force of the agglomerates under a high shear rate and high intensity of turbulence. This is followed by direct shaping of the slurry into near-net-shape components using an existing cold-chamber die-casting process. The results indicate that the MC-HPDC samples have a uniform distribution of ultrafine-sized SiC particles throughout the entire sample in the as-cast condition. Compared to those produced by conventional high-pressure die casting (HPDC), MC-HPDC samples have a much improved tensile strength and ductility.EP-SR